sentential logic derivations